The justification of mathematical statements.
نویسنده
چکیده
The uncompromising ethos of pure mathematics in the early post-war period was that any theorem should be provided with a proof which the reader could and should check. Two things have made this no longer realistic: (i) the appearance of increasingly long and complicated proofs and (ii) the involvement of computers. This paper discusses what compromises the mathematical community needs to make as a result.
منابع مشابه
Decidability for Justification Logics Revisited
Justification logics are propositional modal-like logics that instead of statements A is known include statements of the form A is known for reason t where the term t can represent an informal justification for A or a formal proof of A. In our present work, we introduce model-theoretic tools, namely: filtrations and a certain form of generated submodels, in the context of justification logic in...
متن کاملارائه مدل توسعه یافته ی پنج ضلعی تقلب در گزارشگری مالی با تاکید بر ساختار کنترلهای داخلی
Proper prediction of fraudulent financial reporting not only reduces economic and social costs and losses, but also prevents and controls fraud. The establishment of internal control system in preventing fraud and errors by deterring their occurrence is an undeniable fact. It is also important to design an effective internal control system to advance the companychr('39')s goals, according to th...
متن کاملInformation and Knowledge: Combining Justification, Truth, and Belief
Knowledge of a statement exists when the statement is true, it is believed, and it is justified. While there are somewhat unusual situations where the justified, true, belief model does not produce what some consider to be knowledge, this definition of knowledge serves as an adequate model for most purposes. Information being produced by processes is examined, and then expanded to show how diff...
متن کاملLNAI 4049 - On the Meta-logic of Arguments
Argumentation has received steadily increasing attention in the multi-agent systems community over the past decade, with particular interest in the use of argument models from the informal logic community. The formalisation of such argument systems is a necessary step if they are to be successfully deployed, and their properties rigorously understood. However, there is as yet no widely accepted...
متن کاملOn Labelling Statements in Multi-Labelling Argumentation
In computational models of argumentation, argument justification has attracted more attention than statement justification, and significant sensitivity losses are identifiable when dealing with the justification of statements by otherwise appealing formalisms. This paper reappraises statement justification as a formalism-independent component in argument-based reasoning. We introduce a novel ge...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Philosophical transactions. Series A, Mathematical, physical, and engineering sciences
دوره 363 1835 شماره
صفحات -
تاریخ انتشار 2005